Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, not sufficiently explored in (...) the connexive literature yet.We offer a characterization of connexive negation disentangled from the cancellation account of negation, a previous attempt to define connexivity on top of a distinctive negation. We also discuss an ancient view on connexive logics, according to which a valid implication is one where the negation of the consequent is incompatible with the antecedent, and discuss the role of our idea of connexive negation for this kind of view. (shrink)

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...) recommendations are intended as guidelines for institutions and organizations that may consider establishing a program for training ontologists. Further, we recommend a number of specific actions for the community to pursue. (shrink)

El Foro Global de Bioética en Investigación (GFBR por sus siglas en inglés) se reunió el 3 y 4 de noviembre en Buenos Aires, Argentina, con el objetivo de discutir la ética de la investigación con mujeres embarazadas. El GFBR es una plataforma mundial que congrega a actores clave con el objetivo de promover la investigación realizada de manera ética, fortalecer la ética de la investigación en salud, particularmente en países de ingresos bajos y medios, y promover colaboración entre países (...) del norte y del sur.a Los participantes en el GFBR provenientes de Latinoamérica incluyeron a eticistas, investigadores, miembros de comités de ética y representantes de autoridades sanitarias provenientes de Argentina, Brasil, Chile, Colombia, Ecuador, El Salvador, Guatemala, Honduras, Panamá, Perú, Nicaragua y la República Dominicana. Una legítima preocupación por la protección de las mujeres embarazadas y sus embriones o fetos ha llevado a la mayoría de los países de la Región de las Américas a limitar la realización de estudios con mujeres embarazadas exclusivamente a aquellos estudios específicos sobre el embarazo, y a requerir la exclusión sistemática de las mujeres embarazadas o de las mujeres que quedan embarazadas en el curso del estudio. Ciertamente, a lo largo de la historia de la ética de la investigación, se ha creído erróneamente que proteger a una población es sinónimo de excluirla de los estudios. Se sabe ahora que proceder así implica exponer a riesgos mucho mayores a la población que se busca proteger. El embarazo implica cambios fisiológicos sustantivos e impacta profundamente la manera como el cuerpo metaboliza los medicamentos. Sin embargo, por evitar hacer investigación con mujeres embarazadas, no se ha producido la evidencia científica necesaria para tomar decisiones sobre tratamientos e intervenciones preventivas con dosis eficaces y seguras para ellas y sus embriones o fetos. A manera de ilustración, en el 2001 había en los Estados Unidos apenas más de una docena de medicamentos aprobados para uso en el embarazo (1) y en el 2011 la Food and Drug Administration (FDA) aprobó por primera vez en 15 años un medicamento para su uso en el embarazo (2). Como consecuencia de no haber producido la evidencia necesaria, se pone en riesgo la salud de las mujeres embarazadas cada vez que se les da atención médica. Las mujeres embarazadas se enferman y las mujeres enfermas se embarazan, y no se sabe si los medicamentos que se les da son eficaces o siquiera seguros para ellas y sus embriones o fetos. (shrink)

This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions (...) to the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

Gregory of Nyssa’s treatise 'De opificio hominis' was one of the only Greek anthropological texts translated into latin during the early Middle Ages, by Dionysius Exiguus between the late 5th and early 6th centuries and by John Scotus Eriugena in the 9th century. Nicholas of Cusa certainly became acquainted with this work indirectly through the extensive citations in Eriugena’s 'Periphyseon' and through their partial reproduction in the 'Clavis physicae' of Honorius Augustodunensis. Our paper will analyse these and other possible ways (...) of reception –both direct and indirect– of Gregory's text by Cusanus, as well as the influence of certain philosophical themes of Nyssen’s anthropology in his thought, such as the conception of the 'imago Dei', of its ‘living’ character and its simplicity, the incomprehensibility of human intellect or mind (noûs) and theories regarding human free will and man as microcosm. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

REPRODUÇÃO ANIMAL: INSEMINAÇÃO ARTIFICIAL -/- ANIMAL BREEDING: ARTIFICIAL INSEMINATION -/- Emanuel Isaque Cordeiro da Silva Departamento de Zootecnia da UFRPE E-mail: [email protected] WhatsApp: (82)98143-8399 -/- 1. INTRODUÇÃO A inseminação artificial impôs-se em todo o mundo como um método de grande interesse do ponto de vista zootécnico e econômico, incrementando os rendimentos produtivos através da melhoria acelerada e da uniformidade no reagrupamento das populações. Os resultados positivos obtidos nestas últimas décadas testemunham esta possibilidade, válida tanto para os países mais desenvolvidos como (...) para os países em processo de desenvolvimento. A necessidade de uma rápida melhoria da estrutura das raças, o aumento da produção, bem como o máximo emprego de reprodutores selecionados difundiram consideravelmente o método da inseminação artificial, principalmente na espécie bovina, de forma que hoje se insemina artificialmente mais de 150 milhões de vacas e novilhas aptas para reprodução. Em certos países desenvolvidos, do ponto de vista pecuário, mais de 90% das vacas são inseminadas artificialmente, concretamente na Dinamarca 98%, mais de 95% no Japão e Israel ou 94% na Hungria; na Espanha chega-se a níveis muito próximos dos 50%. 2. CONCEITO E PRINCÍPIOS BÁSICOS O Larousse agrícola (1981) define a inseminação artificial como uma «técnica que consiste em depositar, no aparelho genital de uma fêmea, com a ajuda de instrumentos adequados, o sêmen de um macho colhido artificialmente». O sêmen, colhido por um processo variável e adequadamente diluído, serve para a inseminação artificial de um elevado número de fêmeas, o que permite multiplicar a capacidade reprodutiva dos machos e, portanto, constitui um poderoso meio de melhoria do gado. 3. BREVE HISTÓRIA DA INSEMINAÇÃO ARTIFICIAL Embora a zootecnia iniciasse seu verdadeiro desenvolvimento como ciência e ainda estivesse longe de abordar aspectos econômicos, Lazzaro Spallanzani no século XVIII já intuíra a extensão aplicativa da inseminação artificial realizando testes demonstrativos iniciais. Ilya Ivanov começou um século depois a aplicação prática da IA e compreendeu seu significado tecnológico. Nos primeiros anos do século XX, cientistas e técnicos tentaram desenvolver um método com profundidade; no entanto, os resultados obtidos foram escassos. As razões pelos escassos resultados podem se explicar mediante os deficientes conhecimentos da anatomia, fisiologia e patologia da reprodução e o comportamento nos dois sexos estudados, tanto do ponto de vista biológico como técnico, bem como haver trabalhado sobre espécies pouco fáceis tais como o cavalo e o cão. O conhecimento tecnológico e a aplicação sistemática da técnica tornou-se possível, em primeiro lugar, com a ideia que levou à realização da primeira vagina artificial, obra de Amantea em 1914, em seguida com a criação de eficientes mênstruos diluentes e mais recentemente com o progresso da técnica de conservação prolongada "in vitro" do material espermático por congelação. A partir dos anos trinta, em certos países como a Itália ou a Alemanha, a IA foi utilizada como meio de profilaxia das doenças genitais (brucelose, tricomoníase, vibriose, etc.). A aplicação organizada do método foi realizada pela primeira vez na Dinamarca nos anos 1938-1939, com a criação de cooperativas de inseminação com o objetivo de realizar a melhoria zootécnica bovina, alargando-se posteriormente aos outros países da Europa até à sua aplicação sistemática na atualidade. -/- 4. A PRODUÇÃO DO SÊMEN A expansão da IA na maioria das espécies de interesse zootécnico implica uma forte responsabilidade dos que se ocupam dela, tanto na fase de aplicação como na de seu desenvolvimento. No que se refere aos bovinos do Brasil, foi seguida uma ordenação coordenada das práticas de reprodução com os programas de seleção e expansão das diferentes raças. Para o efeito, foi criada uma legislação que permite dispor de normas mais completas possíveis. 4.1 Atividades a desenvolver em um centro de IA O real decreto que regula as atividades dos centros de IA (Decreto nº 91.111, de 12 de Março de 1985), que regulamenta a Lei n° 6.446, de 05 de outubro de 1977, que dispõe sobre a inspeção e fiscalização obrigatórias do sêmen destinado à inseminação artificial em animais domésticos, e dá outras providências, define como centro de IA, em seu Art. 20 Inciso 1, todo o estabelecimento que mantenha alojados reprodutores doadores de sêmen e que realize as tarefas de coleta, manipulação, Industrialização, armazenagem, comércio ou aplicação de sêmen, com as seguintes dependências: a - quarentenário; b - alojamento dos reprodutores; c - setor de coleta de sêmen; d - sala de material de coleta; e - sala de limpeza, desinfecção e esterilização de todos os materiais e instrumentos de coleta e processamento de sêmen; f - laboratório destinado ao exame, avaliação, diluição, envasamento e congelação de sêmen; g - banco de conservação de sêmen; h - setor administrativo e de expedição; i - outras dependências, se necessário. A atividade destes centros baseia-se na coleta do sêmen de reprodutores de qualidade, na sua armazenagem e subsequente distribuição; para tanto, é necessário realizar toda uma série de procedimentos para a apreciação da qualidade do sêmen e da sua aptidão para o armazenamento. A determinação da capacidade fecundante do sêmen, das suas qualidades e garantias sanitárias deve ser efetuada por técnicos especializados. 4.2 Valores genéticos do reprodutor Os centros de inseminação artificial dispõem dos melhores reprodutores de qualidade em termos de valores genéticos. De acordo com as disposições em vigor, os reprodutores devem ser submetidos a testes de descendência dos progenitores, de aptidão leiteira e estes mesmos testes ou, pelo menos, os testes de rendimento de carcaça próprio nas raças autóctones de produção de carne. Os centros devem dispor de catálogos ou listas contendo dados pormenorizados sobre a origem, qualidades reprodutivas e genéticas do reprodutor, o que permite ao criador conhecer com precisão qual é o touro (no caso dos bovinos) que lhe fornece o esperma e que melhorias pode esperar na qualidade da sua descendência. Por estas razões, os peritos dos centros devem ser responsáveis e assegurar que: a) Os reprodutores não transmitam genes letais ou semiletais ou qualquer outra anomalia geneticamente condicionada em relação à descendência. b) Os reprodutores transmitam realmente as qualidades genéticas declaradas e assegurem, em condições de manejo e alimentação dadas, uma importante produtividade da descendência. c) O preço da dose do sêmen reflita efetivamente o valor genético do reprodutor. d) O sêmen seja corretamente identificado, ou seja, pertença ao reprodutor indicado. 5. AS TÉCNICAS DE INSEMINAÇÃO ARTIFICIAL 5.1 A coleta do sêmen A coleta do sêmen constitui a primeira operação a efetuar-se na técnica da IA. Nos mamíferos domésticos existem duas formas: a) Por recolha sobre a fêmea (pós-coito). b) Por recolha sobre o macho. Para desenvolvê-las foram preconizados diversos métodos: alguns como as esponjas vaginais ou aparelhos de borracha colocados nas vias genitais da fêmea não têm mais que um interesse histórico; outros, como a criação de fístulas ou punção direta no testículo, só são úteis como métodos experimentais, inclusive existem outros métodos, porém de uso pouco frequente (eletroejaculação, amaciamento das vesículas seminais, etc.). Hoje em dia tanto para o touro, carneiro, porco, cavalo e coelho o método usual é a obtenção de sêmen a partir do macho, concretamente mediante a aplicação da técnica da vagina artificial. Nas aves a emissão do esperma obtém-se mediante a massagem manual na região abdominal dos galos reprodutores. Nas abelhas, é necessário provocar a evaginação do pênis do zangão utilizando clorofórmio para depois ser efetuada a coleta do sêmen com o auxílio de uma micropipeta. 5.1.1 O método da vagina artificial Baseia-se na utilização de um aparelho prático e simples que tenta satisfazer as condições que imitem o máximo possível o aparelho genital feminino das fêmeas no momento do coito e que permite verificar uma rápida coleta de um ejaculação livre de contaminação. -/- É essencialmente constituído por um cilindro exterior de borracha endurecida e suficientemente compacto para ser utilizado como isolante térmico. Este cilindro apresenta uma abertura com parafuso de fecho; no interior do cilindro grosseiro introduz-se outro de borracha fina e flexível (camisa) revertido em suas extremidades para mantê-lo fixo mediante umas fitas de borracha. Limitada por ambos os cilindros fica uma cavidade que só se comunica com o exterior pelo orifício praticado na parede do cilindro externo. Uma das extremidades da vagina permanece aberta e a outra ajusta-se a um tubo coletor graduado de vidro no qual se recolhe o esperma. Para simular as condições naturais, introduz-se água quente (41-42ºC em bovinos) dentro da câmara em quantidade suficiente para criar uma pressão e temperatura semelhantes à da vagina da fêmea. 6. AVALIAÇÃO E TRATAMENTO DO SÊMEN: OPERAÇÕES E TÉCNICAS No laboratório podem ser avaliadas e medidas uma série de características e propriedades do sêmen através de um controle da sua qualidade. Estes exames são conclusivos ao permitir a diluição do sêmen e a sua posterior utilização ou, se for o caso, a sua eliminação. 6.1 Estudo macroscópico do esperma 6.1.1 O volume do sêmen ejaculado O volume do esperma é muito variável segundo as espécies (Tabela 1). Mesmo dentro da mesma espécie há variações, como, por exemplo, no caso dos bovinos. Circunstâncias tais como a idade, raça, momento da coleta, método no regime sexual da mesma, época do ano, regime alimentar e grau de excitação sexual em que se encontra, provocam grandes variações no total de quantidade ejaculada por animal. Tabela 1: Características médias do sêmen dos mamíferos domésticos Espécie Volume de uma ejaculação (ml) Concentração 1099/ml N° total de spz (109) Porcentagem de spz móveis Touro 5 (1 – 12) 1,2 (0,5 – 2,5) 6 65 Carneiro 0,9 (0,1 – 0,5) 4 (1,5 – 6) 3,6 90 Porco 300 0,3 90 70 Cavalo 100 0,15 15 65 Cão 2 0,1 0,2 85 Fonte: SOLTNER, 1993. A técnica para a sua medição é imediata, é realizada após a coleta mediante a utilização de um tubo graduado. O volume total de esperma é um fator secundário de apreciação. No entanto, o interesse do seu estudo reside no fato de que o volume normal ser um índice favorável que condiciona o número de doses seminais a preparar. Além disso, outras características macroscópicas importantes do esperma são a cor e o odor característicos em cada uma delas. 6.2 Estudo microscópico do esperma 6.2.1 A motilidade massal Imediatamente após a emissão, o exame microscópico direto do esperma fresco nos permite conhecer de forma aproximada a porcentagem de espermatozoides móveis, sua morfologia, tendência dos zoospermios à aglutinação (movimento de ondas e remoinhos, já que as células vivas varrem as mortas, agrupando-as) e a presença eventual de elementos estranhos (células epiteliais, pus, partículas de terra, restos de vaselina, etc.). O método é subjetivo e serve unicamente como avaliação de conjunto; no entanto, é importante a motilidade dos espermatozoides no fluido espermático. Uma boa ejaculação não deverá conter menos de 60% de espermatozoides em movimento, e este deve ser em avanço progressivo, nunca curvo, rotatório ou oscilante. A atividade massal é avaliada tecnicamente mediante microscópio, com ligeiro aumento (20 x 40), colocando uma gota de esperma sobre uma lâmina situada numa placa de aquecimento (38-39ºC). A observação pode ser direta sobre a ocular ou pode ser facilitada por um sistema que permita a visualização num monitor de televisão. 6.2.2 A concentração zoospérmica É o número de espermatozoides por mililitro de esperma variável para as diferentes espécies (tabela 1). A determinação pode ser feita utilizando sistemas semelhantes à contagem globular utilizada em hematologia, utilizando câmaras contabilísticas especiais como a câmara Burker. Esta câmara possui uma grelha integrada por três tipos de retângulos de diferentes áreas, o que permite operar com qualquer concentração. Antes de iniciar o processo é necessário diluir o esperma para uma melhor observação colocando uma quantidade conhecida sobre a câmara sobrepondo uma lamela. A contagem consiste em anotar o número de espermatozoides cujas cabeças se encontram dentro da grade, de modo que cada dois espermatozoides que eventualmente possam apresentar sua cabeça sobreposta sobre a linha divisória se conta um. O número de quadrados sobre os quais se deve fazer a contagem é de 30, obtendo depois a média aritmética do valor que resultava do número total de espermatozoides encontrados nas 30 quadras. Um exemplo prático para conhecer a concentração de espermatozoides no gado bovino pode ser deduzida utilizando a seguinte fórmula: N = M x 400 x 10 x 200 x 1.000 Onde: N: Número de espermatozoides/mm3. M: Média dos espermatozoides contados por grade. 400: Área da grelha (1/20 x 1/20 = 1/400 mm2). 10: Altura delimitada entre a câmara e a lamela (1/19 mm). 200: Título de diluição (1/200). 1000: Conversão de mm3 para cm3. Pode-se também apreciá-lo de forma rápida e precisa usando um fotômetro, avaliando uma pequena quantidade de esperma diluído. O método é baseado na relação direta que existe entre a transparência ou densidade ante a passagem da luz através do fluido espermático e sua concentração em espermatozoides. Uma fotocélula mede a luz que atravessa a preparação, o que permite deduzir diretamente a concentração. O sistema de videomicrografia consiste em um microscópio óptico focado na amostra de sêmen (foco que é feito manualmente por meio de parafuso micrométrico), uma câmera de vídeo recolhe imagens microscópicas e estas são processadas por computador. Sua vantagem é que o sistema, totalmente automatizado, pode ser ajustado para analisar a concentração no sêmen fresco e após a descongelação do mesmo. 6.2.3 A porcentagem de espermatozoides mortos e anormais Uma das provas de aptidão genésica dos reprodutores é a determinação de formas anormais de espermatozoides. Todos os animais em que o teor de tais formas ultrapasse repetidamente um determinado limite ou que sejam de um tipo característico devem ser eliminados. As colorações específicas permitem diferenciar as formas vivas das mortas em função da aceitação dos diferentes corantes utilizados. Uma das técnicas de coloração seletiva consiste em diluir uma gota de esperma num corante vital (eosina) juntamente com nigrosina. Uma vez aplicado o corante, deixa-se secar o esfregaço ao ar de modo que a eosina cora imediatamente os zoospermios mortos no momento da mistura, enquanto a nigrosina resulta na solução de contraste. A medição pode ser feita em um hematímetro ou por colorímetro. A porcentagem de formas anormais é dada pela seguinte fórmula: x=( A x 100 )/N Onde: A: Número de espermatozoides anormais encontrados. N: Número total de espermatozoides contados. Quando o teor de espermatozoides anormais ultrapassa um certo limite ou se as malformações são de um tipo característico, considera-se a ejaculação como não válida. 6.3 Os controles biológicos e bioquímicos Os controles biológicos ao esperma e espermatozoides limitam-se a testes de resistência ou grau de vigor e a testes de sobrevivência. Os controles químicos incluem, em geral, a determinação da atividade metabólica dos espermatozoides em relação a determinados produtos: frutólise, redução do azul de metileno, consumo de oxigênio, ou a utilização de testes indicadores como GOT, DNA e acrosina. 6.4 A diluição do esperma Esse processo tem por finalidade aumentar o volume total da massa espermática. Os objetivos buscados nesse processo de diluição são: a) Partindo de uma ejaculação, o poder de inseminar o maior número possível de fêmeas. b) A criação de um meio favorável à sobrevivência dos espermatozoides "in vitro". Como diluidores são utilizados diluentes e conservantes, a maioria deles são feitos a partir de gemas de ovo, frutose, leite desnatado reconstituído ou produtos químicos como o TRIS (hidroximetilaminometano) com a adição de antibióticos e glicerol. Em qualquer caso, devem satisfazer as seguintes condições: a) Que tenha um pH idôneo para cada tipo de sêmen, com bom efeito de mistura. b) Que tenham a mesma pressão osmótica e a propriedade de mantê-la. c) Que contenham substâncias alimentares necessárias para o metabolismo dos espermatozoides. d) Que contenham os minerais necessários e na concentração adequada sem ânions nem cátions tóxicos. e) Não devem conter elementos prejudiciais para os órgãos sexuais femininos, para o processo de fecundação e o desenvolvimento do óvulo fecundado. A frutose é a principal fonte de energia para o espermatozoide; este como qualquer outra célula é capaz de metabolizar os hidratos de carbono mediante um mecanismo oxidativo anaeróbio. As proteínas do ovo regulam as variações bruscas de temperatura e certos agentes químicos e efeito conservador sobre os zoospermios, o que permite uma melhor sobrevivência dos mesmos. Os lipídeos do ovo comportam-se como fatores de proteção e os complexos lipoproteicos protegem, mas também conservam o esperma. O leite desnatado apresenta a desvantagem de uma observação mais difícil dos espermatozoides ao fazer a constatação das doses seminais. Os antibióticos têm a função de inibir o desenvolvimento dos germes que acompanham o esperma no momento da coleta. A ação mais eficaz é a penicilina e a estreptomicina. À medida que certos agentes patogênicos (vibriofetus) e outras infecções específicas são erradicados, a tendência é a diminuição na utilização de antibióticos, porque, juntamente com a sua ação positiva, implica também uma diminuição da fertilidade do sêmen. O glicerol intervém no processo de conservação e favorece a formação de cristais muito pequenos durante a congelação, o que evita o dano celular e favorece a sobrevivência dos espermatozoides. 6.4.1 A taxa de diluição É um processo importante, uma vez que é necessário assegurar os resultados da fecundação. Realizado o número de espermatozoides de cada um dos ejaculados, uma vez que têm densidade diferente, procede-se ao cálculo do volume do dilúvio-conservador necessário. O número de doses obtidas por ejaculação é muito variável. De 100 a 300 ou mais para ejaculação de touro, de 10 a 15 para o de carneiro ou de bode e de 30 a 40 para o porco. Após a diluição do esperma com o mênstruo, é requerido um período de equilíbrio para que a temperatura do sêmen desça lentamente evitando, dessa maneira, o choque térmico. 6.5 O condicionamento do esperma: o enchimento e o fechamento das palhetas Para o condicionamento dos espermatozoides, sempre que se pratique a congelação do sêmen, como é o caso dos bovinos, foram utilizados diferentes sistemas como as ampolas e os tubos de celofane. No entanto, o mais frequente no Brasil é a aplicação do método francês das palhetas, de capacidade variável (0,25 ou 0,50 ml para o sêmen de touro) e grande resistência. As palhetas devem ser previamente identificadas de acordo com os códigos estabelecidos para estes casos nos centros correspondentes onde devem recolher as chaves de número e a data do congelamento, centro, raça e reprodutor com o seu nome correspondente. As operações de marcação, enchimento e fechamento das palhetas são totalmente automatizadas, no caso dos bovinos. 6.6 A congelação do sêmen Terminada a diluição, começa o processo de conservação correta do sêmen para que conserve sua efetividade de fecundação, para isso podemos recorrer à refrigeração e à congelação. O primeiro sistema é reservado aos animais cujos espermatozoides não resistem a temperaturas baixas ou quando se procura uma inseminação imediata. Nas espécies nas quais se pode realizar a congelação, como no bovino, mesmo com o aperfeiçoamento exaustivo das técnicas atuais, existe uma porcentagem de espermatozoides mortos na operação. Para evitar o máximo possível que isso aconteça, é feita uma descida gradual da temperatura, procurando uma curva adequada, de modo a evitar os riscos acima referidos. A congelação realiza-se a —196ºC com nitrogênio líquido; a conservação neste estado é praticamente indefinida. 6.6.1 Controle após a congelação Deve ser realizada em condições de qualidade, a qual é estabelecida em função do número de espermatozoides vivos e progressivamente móveis (em bovinos nunca inferior a 35%) que apareçam uma vez descongelada a palha. Terminada a análise e estabelecidos os correspondentes controles, os centros são responsáveis por: a) A distribuição de um sêmen controlado e de qualidade. b) O sêmen após descongelação contenha um número suficiente de espermatozoides móveis e fecundantes. 6.7 A qualidade sanitária do sêmen A qualidade sanitária do sémen depende diretamente das condições de vida sanitária em que se encontra o reprodutor, das condições de coleta do sêmen, do tratamento do mesmo e da sua manipulação. A infecção do esperma pode ocorrer durante a diluição e a conservação e, mais eficazmente ainda, durante a coleta e com o ar do ambiente. A infecção pode ser causada por: a) Agentes específicos das infecções genitais, que podem propagar doenças infecciosas através da inseminação (vibriose, tricomoníase, brucelose, etc.). b) Agentes não específicos como diferentes bactérias (estafilococos, estreptococos, colibactérias, germes pirógenos, etc.), fungos (micose) e vírus (IBR) que podem provocar inflamações dos órgãos genitais da fêmea e que exercem uma influência nociva dos seus produtos de metabolismo sobre o poder fecundante dos espermatozoides. Atualmente, é possível obter esperma estéril desde que se trabalhe corretamente com os diluentes; no entanto, apesar de todas as garantias que possam oferecer a tecnologia dos centros dos diferentes países, existe uma regulamentação jurídica clara, a fim de evitar a difusão de riscos para a saúde. 7. A INSEMINAÇÃO ARTIFICIAL NA PRÁTICA No processo de inseminação propriamente dito, o sêmen é introduzido e depositado nas vias genitais da fêmea mediante o instrumental adequado. Para o seu desenvolvimento no gado bovino, são necessárias uma série de operações. 7.1 Coleta e transferência no termo de transporte As palhetas são recolhidas pelos inseminadores nos centros levando-as em pequenos contentores de transporte que contêm nitrogênio líquido. Ao retirar a palheta do recipiente é conveniente tê-la perfeitamente localizada para conseguir uma correta manipulação da cesta onde está situada, uma vez que uma queda brusca da temperatura faz diminuir a sobrevivência das células espermáticas. 7.2 A descongelação Realiza-se rapidamente num banho de água ou num termo que mantém a temperatura da água entre 35-37ºC. Outros sistemas diferentes não são recomendados, pois aumentam o tempo de descongelação e diminuem a capacidade fecundante do sêmen. 7.3 A aplicação do sêmen no aparelho genital da vaca Uma vez descongelada a palheta, seca-se e homogeneíza-se o seu conteúdo, corta-se uma das suas extremidades selada com álcool polivinílico solidificado e introduz-se no cateter de inseminação, instrumento cilíndrico no qual se introduz a palheta, posteriormente ajusta-se perfeitamente para evitar perdas de material seminal e, no momento da aplicação, o seu conteúdo é empurrado através de um sistema de êmbolo. O cateter é revestido com uma bainha de plástico, descartável após cada utilização. O método técnico que se impôs atualmente é o americano, no qual o lugar ideal para depositar o sêmen é na bifurcação dos cornos uterinos guiando-se por palpação manual através da parede retal. 7.4 O momento ideal de inseminação na vaca Há uma série de fatores que determinam o momento ideal de inseminação da vaca: a) A capacidade de sobrevivência dos espermatozoides nos órgãos sexuais femininos. b) A necessidade da maturidade dos espermatozoides (capacitação). c) O tempo de maturidade do óvulo e sua passagem pelo oviduto. Em geral, como média, as vacas permanecem no cio por 18 horas e ovulam às 14 horas depois, sendo a vida do óvulo de 6 a 10 horas. Em função destes fatores e para obter uma fertilidade ideal as vacas podem ser servidas durante os últimos dois terços do período de cio, ou algumas horas depois de este ter terminado, o que na prática se traduz em que se observa o cio pela manhã, as vacas podem ser servidas nessa mesma tarde e as que mostram o cio pela tarde são inseminadas na manhã seguinte. Em caso de dúvidas é sempre melhor deixar passar mais tempo. 7.5 Inseminação em caprinos, ovinos, suínos, equinos, coelhos, aves e abelhas Nos ovinos e caprinos, a inseminação é feita com sêmen fresco e refrigerado, normalmente conservado a 16 ºC com ampolas de ácido acético. A técnica da inseminação em si é simples, mas requer a utilização de espéculo para abrir a vulva e guiar a pistola inseminadora, injetando a dose correspondente à entrada do colo do útero. A dose seminal depositada varia entre 0,2 e 0,4 ml em concentrações de 5 x 106 espermatozoides/ml. No caso dos caprinos, a técnica é semelhante à das ovelhas, com a ressalva de que as doses seminais são geralmente, um pouco mais elevadas. Em suínos utiliza-se para inseminação o sêmen fresco, a temperatura de conservação varia entre 40 ºC e 15 ºC. As técnicas de congelação resultam na obtenção de espermatozoides móveis após a descongelação, mas com má fertilidade. Na porca o cio ou estro, momento apropriado para a inseminação, tem uma duração aproximada de 3 dias. A ovulação ocorre às 35 horas após o início do cio; este fato acontece às 30-40 horas de imobilização ante o cachaço, sendo a sobrevivência do óvulo de 12 horas. As fêmeas em cada cio podem ser inseminadas uma ou duas vezes. O momento apropriado é 24 horas após o início do estro quando se aplica uma única dose; caso se aplicarem duas, recomenda-se fazê-la de 24 à 36 horas após o aparecimento do estro. Devido à disposição peculiar do colo do útero na porca, a prática da inseminação suína requer: a) Uma deposição do sêmen intrauterina. b) Uma fixação do cateter correta para estimular as contrações uterinas e facilitar o transporte de espermatozoides. c) Evitar o refluxo do sêmen e a consequente diminuição do número de espermatozoides, o que entra em detrimento com a finalidade da fertilidade. A forma do cateter é adaptada à necessidade de uma correta fixação cervical para praticar a inseminação intrauterina de um volume importante de sêmen diluído (cerca de 100 cc). Os diversos modelos existentes, com variantes, tratam de imitar a forma do pênis do macho e introduzem-se na vagina girando para a esquerda para permitir seu deslizamento e uma boa fixação. O sêmen contido no recipiente é depositado por gravidade no útero. Nos equinos, o sêmen utilizado é fresco, normalmente a 4 ºC. A técnica apresenta uma maior dificuldade decorrente da necessidade de utilizar um longo tubo acoplado ao cateter de inseminação para o acesso fácil à zona de deposição do esperma no aparelho genital da égua. A dose correspondente é injetada a nível uterino. Nos coelhos é utilizado sêmen fresco, refrigerado e diluído. Para inseminar existem vários procedimentos, embora o mais comum seja a utilização de palhetas e pistola de inseminação. A aplicação do esperma efetua-se entre 1 e 4 horas após a coleta do mesmo. Nas aves, a técnica de inseminação é realizada com sêmen fresco extraído pouco antes da sua implantação na fêmea, uma vez que na maioria das espécies se constata uma rápida diminuição das taxas de fecundação com o tempo. O material e a metodologia do inseminador consistem em pipetas para a obtenção do esperma, dosador de sêmen diluído, palhetas descartáveis e seringas adequadas para a colocação do sêmen no aparelho genital da fêmea. Os intervalos de inseminação são, geralmente, de uma semana. Nas abelhas, a inseminação artificial das rainhas é prática corrente em centros especializados na seleção de reprodutores. A técnica requer um efeito sedativo na rainha durante a manipulação, abertura da prega da vagina e introdução da seringa na vagina. Para efetuar estas operações é necessário utilizar um aparelho especial de inseminação. 8. RESUMO E PRIMEIRAS CONCLUSÕES Aspectos como a melhoria genética, a proteção sanitária ou a organização e gestão da empresa pecuária têm sido as principais motivações para que a técnica da inseminação artificial tenha se difundido atualmente nos países com uma pecuária organizada e desenvolvida. A utilização da técnica implica na utilização de um sêmen de qualidade, garantido pelos centros de inseminação. Através de técnicas laboratoriais, é possível prever essa qualidade mediante a realização de testes macroscópicos (motilidade massal) e microscópicos (quantidade, motilidade, porcentagem de espermatozoides anormais e densidade). Constatada a sua qualidade, o sêmen é diluído com o objetivo de conservá-lo e aumentar o volume de ejaculação, sendo-lhe adicionados diferentes tipos de diluentes e aditivos. O sêmen pode ser conservado refrigerado ou congelado com nitrogênio líquido a uma temperatura negativa de -196 ºC. Para obter uma porcentagem elevada de inseminações fecundantes nos bovinos, faz-se necessário a manipulação correta das palhetas, evitando as mudanças de temperatura até à sua posterior utilização. Os processos de descongelação, secagem e colocação no cateter devem ser realizados de forma rápida e eficiente. Nas espécies em que se utiliza sêmen fresco, além de um correto desenvolvimento da técnica em si, é de vital importância a conservação do mesmo a temperatura adequada, além da sua aplicação em um curto espaço de tempo para evitar baixas taxas de fecundação. Emanuel Isaque Cordeiro da Silva – Departamento de Zootecnia da UFRPE. Recife, 2020. REFERÊNCIAS BIBLIOGRÁFICAS -/- ASBIA. Informações Técnicas sobre inseminação artificial. Acesso em: Março de 2020. ASBIA. Manual de Inseminação de Artificial, Uberaba – MG: Associação Brasileira de Inseminação Artificial, 2003. BRACKETT, B. G.; JÚNIOR, G. E. A.; SEIDEL, S. M. Avances en zootecnia. Nuevas técnicas de reproducción animal. 1ª ed. Zaragoza: Editorial Acribia, 1988. BRASIL. Legislação Informatizada - Decreto n° 91.111 de 12/03/1985. Acesso em: Março de 2020. CLÉMENT, Jean Michel. Larousse agricultural dictionary. Paris: Larousse, 1981. DERIVAUX, Jules. Fisiopatología de la reproducción e inseminación artificial de los animales domésticos. Havana: Instituto Cubano del libro, 1976. GOFFAUX, M. Quelques aspects relatives a la technologie de insémination artificielle des bovins. Elevage et insémination, n. 216, p. 5-9. 1986. HAFEZ, E. S. E. Artificial Insemination in Reproduction in Farm Animals. Lea and Febiger, Philadelphia, p. 481-497, 1990. HOPPER, Richard M. (Ed.). Bovine reproduction. New Jersey: John Wiley & Sons, 2014. HUNTER, Ronald Henry Fraser et al. Physiology and technology of reproduction in female domestic animals. Londres: Academic Press, 1980. JOHNSON, L. A.; LARSSON, K. Deep freezing of boar semen. Uppsala: Swedish University of Agricultural Sciences, 1985. LABBATE, Rodolfo D. Manual del inseminador. Córdoba: Sayg, 2000. ORGEUR, P.; SIGNORET, J. P. L'activité sexuelle du taureau: revue bibliographique. Paris: INRA, 1990, 3 (4), pp.235-242. ORTUÑO, Arturo Duarte. Manual de inseminación artificial de ganado. Disponível em: ——. Acesso em: Março de 2020. PÉREZ PÉREZ, F.; PÉREZ GUTIÉRREZ, F. Reproducción animal, inseminación animal y transplante de embriones. Barcelona: Cientifico-medica, 1985. Y PÉREZ, Félix Pérez. Reproducción e inseminación artificial ganadera. Barcelona: Cientifico-Medica, 1966. SALISBURY, G. W.; VANDERMARK, N. L. Phisiology of the reproduction and artificial insemination of cattle. San Francisco : Freeman e Company, 1961, 630 p. SEVERO, N. C. História ilustrada da inseminação artificial. São Paulo: Livre Expressão, 2013. SOLTNER, D. La reproduction des animaux domestiques d’élevage. Zootechnie générale, v. 1, Paris: Sciences et techniques agricole, 1993. (shrink)

Convocada por diferentes estudiosos de los Padres de la Iglesia y del cristianismo antiguo en Latinoamérica, a saber, los profesores Ana Cristina Villa Betancourt, Andrés Mauricio Quevedo Rodríguez y Estiven Valencia Marín, de Colombia; Alejandro Nicola y Francisco Basttita-Harriet, de Argentina; Bruno Gripp, de Brasil; Pamela Chávez Aguilar, de Chile; y Jesús Ma. Aguiñaga Fernández, de México.

In this chapter, Ricardo Silvestre and Alan Herbert offer a reconstruction of the Gītā’s concept of God with a focus on the relationship between God and the world. They try to explain the claim that the Gītā is panentheistic. This is done with the help of some key notions of contemporary metaphysics (such as ontological dependence and fundamentality) along with the Indic notion of prakṛti, considered as a metaphysical primitive denoting the intimate relationship that exists between matter and conscious (...) living beings on the one hand, and God on the other. (shrink)

In this chapter, Ricardo Silvestre and Alan Herbert offer a reconstruction of the Gītā’s concept of God with a focus on the relationship between God and the world. They try to explain the claim that the Gītā is panentheistic. This is done with the help of some key notions of contemporary metaphysics (such as ontological dependence and fundamentality) along with the Indic notion of prakṛti, considered as a metaphysical primitive denoting the intimate relationship that exists between matter and conscious (...) living beings on the one hand, and God on the other. (shrink)

Any plausibly just market exchange must balance two conflicting moral considerations: non-worseness (Wertheimer, 1999) and euvoluntariness (true voluntariness; Munger, 2011). We propose an analytical theory of just market exchange that partly resolves this conflict.

In this essay, I focus on Lugones’s relatively lesser explored notion of playfulness. I weigh in on the debate about whether playfulness is necessary for what Lugones calls “world-traveling,” which enables one to recognize another person as a full subject. I argue that although the attribute of playfulness may not be necessary for world-traveling, it is necessary for collaborative world-making––creating a new, shared world that is opened through the activity of play.

This paper demonstrates the central role of the Socratic elenchus in the Sophist. In the first part, I defend the position that the Stranger describes the Socratic elenchus in the sixth division of the Sophist. In the second part, I show that the Socratic elenchus is actually used when the Stranger scrutinizes the accounts of being put forward by his predecessors. In the final part, I explain the function of the Socratic elenchus in the argument of the dialogue. By contrast (...) with standard scholarly interpretations, this way of reading the text provides all the puzzles about being (241c4–251a4) with a definite function in the dialogue. It also reveals that Plato’s methodology includes a plurality of method and is more continuous than what is often believed. (shrink)

Il s’agit ici de présenter une version raffinée du libéralisme de la peur de Judith Shklar : le libéralisme de la prudence. Après en avoir brièvement présenté les grandes lignes et les principales faiblesses, j’esquisse les contours du libéralisme de la prudence et montre comment il réalise, mieux que libéralisme de la peur, le programme minimaliste poursuivi par Shklar. Je montre ensuite comment le libéralisme de la prudence nous permet de sortir du dilemme libéral posé par la tradition postrawlsienne : (...) justifier le libéralisme sur des bases morales, au risque de le priver de neutralité, ou le justifier sur des bases réalistes hobbesiennes, au risque d’en faire l’otage des rapports de force changeants. Enfin, j’examine comme le principal défaut apparent du libéralisme de la prudence – à savoir son ascétisme programmatique – est en fait son principal mérite. (shrink)

The method of the transcendental reduction, which takes place as a return revealing the subjectivity to itself, makes possible to grasp the link connecting the worldly reality and the egological dimension, i.e. the world’s becoming in the ways of the originally subjective constitution. The legitimate aim of the psychological experience to understand the basic structures of the life-consciousness can find in the conceptual figure of the phenomenological reduction both a valid methodological approach and a useful terms of comparison.

The paper aims at analyzing the inner development of self-identity from its pre-reflective level to the full awareness one. The recent findings of neurosciences and cognitive studies suggest focusing attention on the complex relation between self as consciousness and self as subjectivity, both with regard to their interdependency and to their reference to a shared context. Phenomenology, thanks to the careful consideration of the issues regarding the constitution of mental life articulated by its classic researches and current inquires, offers a (...) valuable opportunity to set the scientific outcomes in an authentically philosophical perspective. (shrink)

In this paper I present a formalization of the theory of ideal concepts applied to the concept of God. It is done within a version of the Simplest Quantified Modal Logic (SQML) and attempts to solve three meta-problems related to the concept of God: the unicity of extension problem, the homogeneity/heterogeneity problem and the problem of conceptual unity.

A survey of the similarities and differences between BFO and DOLCE, and of the mutual interactions between Nicola Guarino and Barry Smith.

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution (...) to the Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor. (shrink)

In this article we argue that the social value of health research should be conceptualized as a function of both the expected benefits of the research and the priority that the beneficiaries deserve. People deserve greater priority the worse off they are. This conception of social value can be applied for at least two important purposes: in health research priority setting when research funders, policy-makers, or researchers decide between alternative research projects; and in evaluating the ethics of proposed research proposals (...) when research ethics committees assess whether the social value of the research is sufficient to justify the risks and burdens to research participants and others. In assessing how far a proposed research project will advance the interests of people who are more disadvantaged, research priority setters and RECs should examine the diseases that the research targets and the type of research. Just as certain diseases impose a greater burden on people who are more disadvantaged, so certain types of intervention and forms of research are more likely to benefit people who are more disadvantaged. We outline which populations are likely to be representative of the global worst off and identify what types of health research, and which disease categories, are priorities for these populations. (shrink)

The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side and determinism, fatalism and (...) free-will on the other side. In order to do that, I shall use what has been described as the best formal approach we have to indeterminism: branching time theory. More specifically, I shall introduce a branching time semantic framework in which, among other things, statements such as “state of affairs e is a karmic effect of agent a”, “a wills it to be the case that e” and “e is inevitable” could be properly represented. (shrink)

Panentheism has seen a revival over the past two decades in the philosophical literature. This has partially triggered an interest in Indian models of God, which have traditionally been seen as panentheistic. On the other hand, panentheism has been often associated with panpsychism, an old ontological view that sees consciousness as fundamental and ubiquitous in the natural world and which has also enjoyed a renaissance in recent decades. Depending on where one places fundamentality (whether on the microlevel or on the (...) cosmic-level) there will be two types of panpsychism: micropsychism and cosmopsychism. Despite the apparently rich connection between Indian traditions and panpsychism, especially in its cosmopsychist version, recent work within cross-cultural analytic philosophy of mind seems to be mostly focused on atheistic traditions, such as Advaita Vedānta and Buddhism. My goal in this paper is to contribute to the cross-cultural debate over panentheism and Indian models of God, as well as to the debate on the connections between panpsychism, cosmopsychism and Indian traditions, by examining one of the most important and often quoted texts in Indian religious and philosophical traditions: the theistic Bhavagad Gītā. From a more specific standpoint, the paper has a threefold goal: to offer a panentheistic reconstruction of the Gītā’s concept of God, to show how this panentheistic model of God entails a form of theistic cosmopsychism, and to locate the Gītā’s cosmopsychism within a broader map of cosmopsychist views. Based on this reconstructive analysis of the Gītā’s cosmopsychism, I also outline some few reflections on the philosophical prospects of theistic cosmopsychism. (shrink)

Dominant views about the nature of health and disease in bioethics and the philosophy of medicine have presumed the existence of a fixed, stable, individual organism as the bearer of health and disease states, and as such, the appropriate target of medical therapy and ethical concern. However, recent developments in microbial biology, neuroscience, the philosophy of cognitive science, and social and personality psychology (Ickes...

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

The empirical study of belief is emerging at a rapid clip, uniting work from all corners of cognitive science. Reliance on belief in understanding and predicting behavior is widespread. Examples can be found, inter alia, in the placebo, attribution theory, theory of mind, and comparative psychological literatures. Research on belief also provides evidence for robust generalizations, including about how we fix, store, and change our beliefs. Evidence supports the existence of a Spinozan system of belief fixation: one that is automatic (...) and independent of belief rejection. Independent research supports the existence of a system of fragmented belief storage: one that relies on large numbers of causally isolated, context-sensitive stores of belief in memory. Finally, empirical and observational data support at least two systems of belief change. One system adheres, mostly, to epistemological norms of updating; the other, the psychological immune system, functions to guard our most centrally held beliefs from potential inconsistency with newly formed beliefs. Refining our under- standing of these systems can shed light on pressing real-world issues, such as how fake news, propaganda, and brainwashing exploit our psychology of belief, and how best to construct our modern informational world. (shrink)

This paper introduces the special issue on Logic and Philosophy of Religion of the journal Sophia: International Journal of Philosophy and Traditions (Springer). The issue contains the following articles: Logic and Philosophy of Religion, by Ricardo Sousa Silvestre and Jean-Yvez Béziau; The End of Eternity, by Jamie Carlin Watson; The Vagueness of the Muse—The Logic of Peirce’s Humble Argument for the Reality of God, by Cassiano Terra Rodrigues; Misunderstanding the Talk(s) of the Divine: Theodicy in the Wittgensteinian Tradition, by (...) Ondřej Beran; On the Concept of Theodicy, by Ricardo Sousa Silvestre; The Logical Problem of the Trinity and the Strong Theory of Relative Identity, by Daniel Molto; Thomas Aquinas on Logic, Being, and Power, and Contemporary Problems for Divine Omnipotence, by Errin D. Clark. -/- . (shrink)

We present in this paper a novel ontological theory of events whose central tenet is the Aristotelian distinction between the object that changes and the actual subject of change, which is what we call an individual quality. While in the Kimian tradition events are individuated by a triple ⟨ o, P, t ⟩, where o is an object, P a property, and t an interval of time, for us the simplest events are qualitative changes, individuated by a triple ⟨ o, (...) q, t ⟩, where q is an individual quality inhering in o or in one of its parts. Detaching the individuation of events from the property they exemplify results in a fine-grained theory that keeps metaphysics and semantics clearly separate, and lies between the multiplicative and the unitarian approaches. We discuss then the way language refers to events, observing that, in most cases, event descriptions refer to complex, cognitively relevant clusters of co-occurring qualitative changes, which exhibit a synchronic structure depending on the way they are described. Contra Bennett, who famously argued that the semantics of event names ultimately depends on “local context and unprincipled intuitions”, we show how the lexicon provides systematic principles for individuating such clusters and classifying them into kinds. Finally, we address some open challenges in the semantics of locative and manner modifiers. (shrink)

The claim that the observation of a violation of a Bell inequality leads to an alleged alternative between nonlocality and non-realism is annoying because of the vagueness of the second term.

In a number of papers, Kit Fine introduced a theory of embodiment which distinguishes between rigid and variable embodiments, and has been successfully applied to clarify the ontological nature of entities whose parts may or may not vary in time. In particular, he has applied this theory to describe a process such as the erosion of a cliff, which would be a variable embodiment whose manifestations are the different states of erosion of the cliff. We find this theory very powerful, (...) and especially appropriate to capture the intuition that the same process may go on at different times. However, its formal principles have been subject to some criticisms, mainly concerning the mereological structure of a variable embodiment. Moreover, since the notion of variable embodiment is very general, simply saying that processes are variable embodiments is not enough to understand their ontological nature. To address these concerns, in this paper we proceed in two phases: first, we propose a revised version of Fine’s original theory adapted to the case of processes, which adopts a classical mereology instead of Fine’s hylomorphic mereology, and a temporalized constitution relation in place of Fine’s function of variable embodiment; second, we go deeper into the ontological nature of processes by revisiting the notions of homogeneity, intentionality, and telicity discussed in the literature, and propose an account based on ontological principles and not on semantic properties of predicates. This allows us to organize processes into a novel taxonomy based exclusively on their unity and individuation principles. (shrink)

Since its inception, a core aspiration of deliberative democracy has been to enable more and better inclusion within democratic politics. In this article, we argue that deliberative democracy can achieve this aspiration only if it goes beyond verbal forms of communication and acknowledges the crucial role of non-verbal communication in expressing and exchanging arguments. The article develops a multidimensional approach to deliberative democracy by emphasizing the visual, sonic and physical dimensions of communication in public deliberation. We argue that non-verbal modes (...) of communication can contribute to public deliberation when they (1) are used as part of reason-giving processes, (2) enable the inclusion of marginalized actors in public debates and (3) induce reflection and encourage new ways of thinking about the public controversies at hand. (shrink)

El Realismo Científico Estándar sostiene el enfoque metafísico de que el mundo es como es independiente de la mente. Sin embargo, el presente artículo demuestra cómo esta postura es incompatible con todas las teorías no-eliminativistas sobre la mente, lo cual hace que la postura sea inconsistente, incompatible con la ciencia, elimina la consciencia, la intencionalidad, la causación mental y la ética. Se propone una tesis realista alternativa que conserva la idea de que el mundo en general es de la forma (...) que es, independiente de lo que pensemos sobre él, compatible con la mente como parte real del mundo. Este cambio restaura la posibilidad de consistencia, la mente, la consciencia, la intencionalidad, la ciencia y la ética. -/- Standard Scientific Realism holds the metaphysical view that the world is the way it is independent of the mind. However, this paper demonstrates how this view is incompatible with all non-eliminativist theories of mind, leading it to be inconsistent, incompatible with science, and eliminating consciousness, intentionality, mental causation and ethics. An alternative realist thesis is proposed which preserves the idea that generally the world is the way it is independent of what we think of it, compatible with mind as a real part of the world. This reform restores the possibility of consistency, mind, consciousness, intentionality, science and ethics, while at the same time preserving the theoretical advantages over non-realist competitors. (shrink)

The purpose of this paper is twofold. First, it aims at introducing the ontological argument through the analysis of five historical developments: Anselm’s argument found in the second chapter of his Proslogion, Gaunilo’s criticism of it, Descartes’ version of the ontological argument found in his Meditations on First Philosophy, Leibniz’s contribution to the debate on the ontological argument and his demonstration of the possibility of God, and Kant’s famous criticisms against the (cartesian) ontological argument. Second, it intends to critically examine (...) the enterprise of formally analyzing philosophical arguments and, as such, contribute in a small degree to the debate on the role of formalization in philosophy. My focus will be mainly on the drawbacks and limitations of such enterprise; as a guideline, I shall refer to a Carnapian, or Carnapian-like theory of argument analysis. (shrink)

Some neotropical social wasps which are associated with some vertebrates and other insects like ants, and these interactions are reported for decades, but little is known about the presence of these in the Caatinga and Atlantic Forest. This study describes the first association’s record between nests of Polybia rejecta (Fabricius) wasp and Azteca chartifex Forel ants in the transition area of the Atlantic Forest and Caatinga in Rio Grande do Norte. The observations were in a private forest in Monte Alegre, (...) from October 2009 to September 2014 through active search for colonies, use of ad libitum method, photography and collection of specimens with traceability. In the study area were found four active colonies and one abandoned of P. rejecta, all associated with nests of A. chartifex with approach of 20-30 cm. It was found that when the colony of P. rejecta was disturbed, they became aggressive towards the disturbance object, whereas the ants gathered in order to fend off a potential predators. These interactions appear to benefit wasps and ants, it is assumed that is possible that wasps attack ants’s predators, whereas the ants attack the wasps’s predators. This study corroborates the hypothesis that the association between the social wasps P. rejecta and A. chartifex ants is beneficial for both species, and probably the wasps are the most benefited, but also shows the non-exclusivity of this association for the biomes up then reported. (shrink)

The picture of moral development defended by followers of Aristotle takes moral cultivation to be like playing a harp; one gets to be good by actually spending time playing a real instrument. On this view, we cultivate a virtue by doing the actions associated with that virtue. I argue that this picture is inadequate and must be supplemented by imaginative techniques. One can, and sometimes must, cultivate virtue without actually performing the associated actions. Drawing on strands in Buddhist philosophy, I (...) explain several methods of moral development that rely on imagination and visualization rather than overt action. These techniques are essential in cases where cultivating virtue the way one practices the harp is impossible. In particular, I focus on single-event virtues, first-time virtuous acts, and morally dangerous situations. (shrink)

Informally speaking, a truthmaker is something in the world in virtue of which the sentences of a language can be made true. This fundamental philosophical notion plays a central role in applied ontology. In particular, a recent nonorthodox formulation of this notion proposed by the philosopher Josh Parsons, which we labelled weak truthamking, has been shown to be extremely useful in addressing a number of classical problems in the area of Conceptual Modeling. In this paper, after revisiting the classical notion (...) of truthmaking, we conduct an in depth analysis of Parsons’ account of weak truthmaking. By doing that, we expose some difficulties in his original formulation. As the main contribution of this paper, we propose solutions to address these issues which are then integrated in a new precise interpretation of truthmaking that is harmonizable with. (shrink)

Abstract In this essay, I will argue that images can play a substantial role in argumentation: exploiting information from the context, they can contribute directly and substantially to the communication of the propositions that play the roles of premises and conclusion. Furthermore, they can achieve this directly, i.e. without the need of verbalization. I will ground this claim by presenting and analyzing some arguments where images are essential to the argumentation process. Content Type Journal Article Pages 1-14 DOI 10.1007/s10503-011-9259-y Authors (...) Axel Arturo Barceló Aspeitia, Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, Cto. Mario de la Cueva s/n, Cd. Universitaria, Coyoacán, 04500 DF, Mexico Journal Argumentation Online ISSN 1572-8374 Print ISSN 0920-427X. (shrink)

Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to “speak” of indeterminism, its inability to present us a worldview in which new information is created as time passes. In such a case, scientific determinism would only be an illusion due to the timeless mathematical language scientists use. To investigate this possibility it is necessary (...) to develop an alternative mathematical language that is both powerful enough to allow scientists to compute predictions and compatible with indeterminism and the passage of time. We suggest that intuitionistic mathematics provides such a language and we illustrate it in simple terms. (shrink)

Este artigo apresenta a teoria supervalorativista da vagueza e discute a objecção, que frequentemente lhe é dirigida, segundo a qual essa teoria não consegue dar conta do fenómeno da vagueza de ordem superior.

This article defends a relational account of personhood. I argue that the structure of personhood consists of dyadic relations between persons who can wrong or be wronged by one another, even if some of them lack moral competence. I draw on recent work on directed duties to outline the structure of moral communities of persons. The upshot is that we can construct an inclusive theory of personhood that can accommodate nonhuman persons based on shared community membership. I argue that, once (...) we unpack the internal relation between directed duties, moral status, and flourishing, relations can ground personhood and include nonhuman animals. (shrink)

În această lucrare analizez posibilitatea călătoriei în timp pe baza mai multor lucrări de specialitate, printre care cele ale lui Nicholas J.J. Smith ("Time Travel", The Stanford Encyclopedia of Philosophy”), William Grey (”Troubles with Time Travel”), Ulrich Meyer (”Explaining causal loops”), Simon Keller și Michael Nelson (”Presentists should believe in time-travel”), Frank Arntzenius și Tim Maudlin ("Time Travel and Modern Physics") și David Lewis (“The Paradoxes of Time Travel”). Lucrarea începe cu o Introducere în care fac o scurtă prezentare a (...) călătoriei în timp, și continuă cu o Istoria conceptului de călătorie în timp, prezentarea principalelor Aspecte fizice ale călătoriei în timp, inclusiv călătoria în timp în trecut în relativitatea generală și în fizica cuantică și călătoria în timp în viitor, apoi o prezentare a Paradoxul bunicului care este abordat în aproape toate lucrările de specialitate, urmat de o secțiune dedicată Filosofiei călătoriei în timp, și o secțiune în care analizez Buclele cauzale pentru călătoria în timp. Finalizez lucrarea cu Concluzii, în care expun opiniile personale privind călătoria în timp, și Bibliografia pe care se bazează lucrarea. (shrink)

The semantic paradoxes are a family of arguments – including the liar paradox, Curry’s paradox, Grelling’s paradox of heterologicality, Richard’s and Berry’s paradoxes of definability, and others – which have two things in common: first, they make an essential use of such semantic concepts as those of truth, satisfaction, reference, definition, etc.; second, they seem to be very good arguments until we see that their conclusions are contradictory or absurd. These arguments raise serious doubts concerning the coherence of the concepts (...) involved. This article will offer an introduction to some of the main theories that have been proposed to solve the paradoxes and avert those doubts. Included is also a brief history of the semantic paradoxes from Eubulides to Tarski and Curry. (shrink)

It is usual to identify initial conditions of classical dynamical systems with mathematical real numbers. However, almost all real numbers contain an infinite amount of information. I argue that a finite volume of space can’t contain more than a finite amount of information, hence that the mathematical real numbers are not physically relevant. Moreover, a better terminology for the so-called real numbers is “random numbers”, as their series of bits are truly random. I propose an alternative classical mechanics, which is (...) empirically equivalent to classical mechanics, but uses only finite-information numbers. This alternative classical mechanics is non-deterministic, despite the use of deterministic equations, in a way similar to quantum theory. Interestingly, both alternative classical mechanics and quantum theories can be supplemented by additional variables in such a way that the supplemented theory is deterministic. Most physicists straightforwardly supplement classical theory with real numbers to which they attribute physical existence, while most physicists reject Bohmian mechanics as supplemented quantum theory, arguing that Bohmian positions have no physical reality. (shrink)

This article analyses the peculiarities of Dominicus Gundissalinus’s reading and use of Avicenna’s writings in his original works. Gundissalinus (1120ca – post 1190) is the Latin translator of Avicenna’s De anima and Liber de philosophia prima, but also an original philosopher whose writings are precious witnesses of the very first reception of Avicennian philosophy in the Latin West. The article points out the structural bond with the Persian philosopher upon which Gundissalinus grounds his own speculation. This contribution stresses, in particular, (...) the important role played by Avicenna’s psychology, epistemology, and metaphysics in order to provide Gundissalinus with a different set of answers to at least two main questions. On the one hand, the problem of creatural existence and cosmological causation, concerning which Gundissalinus tends to doctrinally merge Avicenna with Ibn Gabirol. On the other hand, Avicenna’s influence is crucial for Gundissalinus’s attempt at elaborating a new system of knowledge, which was supposed to be able to include the new sciences made available by the translation movement, but that also needed to be internally organised through firm epistemological principles. Beside his crucial contribution as translator, Gundissalinus’s first philosophical encounter with the Avicenna paved the road for the subsequent reception of the Persian philosopher’s works, opening a hermeneutical perspective which would be pivotal for the thirteenth-century discussions on soul, knowledge, and being. (shrink)

Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will (...) be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data. (shrink)

Peer commentary on: Goering, S., Klein, E., Dougherty, D. D., & Widge, A. S. (2017). Staying in the loop: Relational agency and identity in next-generation DBS for psychiatry. AJOB Neuroscience, 8(2), 59-70.

Do scientific theories limit human knowledge? In other words, are there physical variables hidden by essence forever? We argue for negative answers and illustrate our point on chaotic classical dynamical systems. We emphasize parallels with quantum theory and conclude that the common real numbers are, de facto, the hidden variables of classical physics. Consequently, real numbers should not be considered as ``physically real" and classical mechanics, like quantum physics, is indeterministic.

It is usual to identify initial conditions of classical dynamical systems with mathematical real numbers. However, almost all real numbers contain an infinite amount of information. I argue that a finite volume of space can’t contain more than a finite amount of information, hence that the mathematical real numbers are not physically relevant. Moreover, a better terminology for the so-called real numbers is “random numbers”, as their series of bits are truly random. I propose an alternative classical mechanics, which is (...) empirically equivalent to classical mechanics, but uses only finite-information numbers. This alternative classical mechanics is non-deterministic, despite the use of deterministic equations, in a way similar to quantum theory. Interestingly, both alternative classical mechanics and quantum theories can be supplemented by additional variables in such a way that the supplemented theory is deterministic. Most physicists straightforwardly supplement classical theory with real numbers to which they attribute physical existence, while most physicists reject Bohmian mechanics as supplemented quantum theory, arguing that Bohmian positions have no physical reality. (shrink)